unsigned char user_initcode[] = {
  0x13, 0x05, 0xb0, 0x07, 0x93, 0x05, 0x80, 0x1c, 0x33, 0x06, 0xb5, 0x00,
  0x93, 0x08, 0x10, 0x00, 0x73, 0x00, 0x00, 0x00, 0x6f, 0x00, 0x00, 0x00
};
unsigned int user_initcode_len = 24;
